From: Stéphane Glondu <glondu@debian.org>
Date: Mon, 15 Dec 2025 06:11:39 +0000 (+0100)
Subject: Mark test_compact_manydomains as multicore
X-Git-Tag: archive/raspbian/5.4.0-2+rpi1^2~2
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/success//%22http:/www.example.com/cgi/success/?a=commitdiff_plain;h=0b5cced6e6e3a20821e14900619e3fe5e3d396d7;p=ocaml.git

Mark test_compact_manydomains as multicore


Gbp-Pq: Name Mark-test_compact_manydomains-as-multicore.patch
---

diff --git a/testsuite/tests/compaction/test_compact_manydomains.ml b/testsuite/tests/compaction/test_compact_manydomains.ml
index 6d26260a..6441fe84 100644
--- a/testsuite/tests/compaction/test_compact_manydomains.ml
+++ b/testsuite/tests/compaction/test_compact_manydomains.ml
@@ -1,4 +1,5 @@
 (* TEST
+ multicore;
 *)
 
 let num_domains = 20